ALBERTO LAFUENTE: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Types of entrepreneurs and firms: The case of new Spanish firms

Alberto Lafuente, Vicente Salas

Journal:

Strategic Management Journal

Year:

1989

Language:

english

File:

PDF, 1.05 MB

english, 1989

2

SaW: Video Analysis in Social Media with Web-based Mobile Grid Computing

Zorrilla, Mikel, Florez, Julian, Lafuente, Alberto, Martin, Angel, Montalban, Jon, Olaizola, Igor G., Tamayo, Inigo

Journal:

IEEE Transactions on Mobile Computing

Year:

2017

Language:

english

File:

PDF, 1.21 MB

english, 2017

3

Modelling and analyzing adaptive self-assembly strategies with Maude

Bruni, Roberto, Corradini, Andrea, Gadducci, Fabio, Lluch Lafuente, Alberto, Vandin, Andrea

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 2.46 MB

english, 2015

4

Preface for the special issue on Interaction and Concurrency Experience 2014

Lanese, Ivan, Lluch Lafuente, Alberto, Sokolova, Ana, Torres Vieira, Hugo

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 131 KB

english, 2016

5

AVOCLOUDY : a simulator of volunteer clouds

Sebastio, Stefano, Amoretti, Michele, Lafuente, Alberto Lluch

Journal:

Software: Practice and Experience

Year:

2016

Language:

english

File:

PDF, 1.46 MB

english, 2016

6

Automated specification and verification of Web-based applications

ter Beek, Maurice H., Lluch Lafuente, Alberto

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2017

Language:

english

File:

PDF, 157 KB

english, 2017

7

Preface for the special issue on Interaction and Concurrency Experience 2015

Lanese, Ivan, Lluch Lafuente, Alberto, Knight, Sophia, Vieira, Hugo Torres

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2017

Language:

english

File:

PDF, 127 KB

english, 2017

8

A Holistic Approach for Collaborative Workload Execution in Volunteer Clouds

Sebastio, Stefano, Amoretti, Michele, Lafuente, Alberto Lluch, Scala, Antonio

Journal:

ACM Transactions on Modeling and Computer Simulation

Year:

2018

Language:

english

File:

PDF, 3.55 MB

english, 2018

9

Quantitative μ-calculus and CTL Based on Constraint Semirings

Alberto Lluch-Lafuente, Ugo Montanari

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 394 KB

english, 2005

10

A Logic for Application Level QoS

Dan Hirsch, Alberto Lluch-Lafuente, Emilio Tuosto

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 526 KB

english, 2006

11

A Logic for Graphs with QoS

Gianluigi Ferrari, Alberto Lluch-Lafuente

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 304 KB

english, 2006

12

Graphical Verification of a Spatial Logic for the π-calculus

Fabio Gadducci, Alberto Lluch Lafuente

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 444 KB

english, 2006

13

On Symbolic Semantics for Name-decorated Contexts

Andrea Bracciali, Roberto Bruni, Alberto Lluch Lafuente

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 766 KB

english, 2009

14

Quantitative μ-calculus and CTL defined over constraint semirings

Alberto Lluch-Lafuente, Ugo Montanari

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 241 KB

english, 2005

15

Trail-Directed Model Checking

Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 299 KB

english, 2001

16

Urban Waste Recycling Behavior: Antecedents of Participation in a Selective Collection Program

CONCHITA GARCÉS, ALBERTO LAFUENTE, MARTA PEDRAJA, PILAR RIVERA

Journal:

Environmental Management

Year:

2002

Language:

english

File:

PDF, 160 KB

english, 2002

17

Directed explicit-state model checking in the validation of communication protocols

Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2004

Language:

english

File:

PDF, 976 KB

english, 2004

18

Partial-order reduction and trail improvement in directed model checking

Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2004

Language:

english

File:

PDF, 443 KB

english, 2004

19

Partial-order reduction for general state exploring algorithms

Dragan Bošnački, Stefan Leue, Alberto Lluch Lafuente

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2009

Language:

english

File:

PDF, 418 KB

english, 2009

20

Hierarchical Design Rewriting with Maude

Roberto Bruni, Alberto Lluch Lafuente, Ugo Montanari

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 853 KB

english, 2009

21

Communication-efficient failure detection and consensus in omission environments

Iratxe Soraluze, Roberto Cortiñas, Alberto Lafuente, Mikel Larrea, Felix Freiling

Journal:

Information Processing Letters

Year:

2011

Language:

english

File:

PDF, 204 KB

english, 2011

22

Other news in brief

Philippe Rousselet, Simone Cavallo, Alberto Lafuente, Kate Pjilipps, Wendy Watson-Ekstein, Thomas Burke, Gabrielle Boyle, Coelina Carter, Lisa Colley, Robin O’Kelly, Colin Baptie, Shanthi Pathmanathan

Journal:

Card Technology Today

Year:

2000

Language:

english

File:

PDF, 210 KB

english, 2000

23

Assessing the variability of hydrographic processes influencing the life cycle of the Sicilian Channel anchovy, Engraulis encrasicolus, by satellite imagery

JESÚS GARCÍA LAFUENTE, JUAN MIGUEL VARGAS, FRANCISCO CRIADO, ALBERTO GARCÍA, JAVIER DELGADO, SALVATORE MAZZOLA

Journal:

Fisheries Oceanography

Year:

2005

Language:

english

File:

PDF, 1.02 MB

english, 2005

24

ISO-9000 Certification and Ownership Structure: Effects upon Firm Performance

Esteban Lafuente, Alberto Bayo-Moriones, Miguel García-Cestona

Journal:

British Journal of Management

Year:

2010

Language:

english

File:

PDF, 211 KB

english, 2010

25

Thermal features of spallation window targets

Alberto Abánades, Fernando Sordo, Antonio Lafuente, José M. Martínez-Val

Journal:

Energy Conversion and Management

Year:

2008

Language:

english

File:

PDF, 941 KB

english, 2008

26

Hybrid reactors: Nuclear breeding or energy production?

Mireia Piera, Antonio Lafuente, Alberto Abánades, J.M. Martinez-Val

Journal:

Energy Conversion and Management

Year:

2010

Language:

english

File:

PDF, 667 KB

english, 2010

27

Neuronal antigens recognized by cerebrospinal fluid IgM in multiple sclerosis

Eduardo Beltrán, Alberto Hernández, Eva M. Lafuente, Francisco Coret, María Simó-Castelló, Isabel Boscá, Francisco Carlos Pérez-Miralles, María Burgal, Bonaventura Casanova

Journal:

Journal of Neuroimmunology

Year:

2012

Language:

english

File:

PDF, 1.22 MB

english, 2012

28

Soil phosphorus forms as quality indicators of soils under different vegetation covers

María-Belén Turrión, Olga López, Francisco Lafuente, Rafael Mulas, César Ruipérez, Alberto Puyo

Journal:

Science of The Total Environment

Year:

2007

Language:

english

File:

PDF, 122 KB

english, 2007

29

Prognostic impact of atrial fibrillation progression in a community study: AFBAR Study (Atrial Fibrillation in the Barbanza Area Study)

Alberto García-Castelo, Javier García-Seara, Fernando Otero-Raviña, Manuel Lado, Andrés Vizcaya, Juan M. Vidal, Ramón Lafuente, David Bouza, Pamela V. Lear, José R. González-Juanatey

Journal:

International Journal of Cardiology

Year:

2011

Language:

english

File:

PDF, 263 KB

english, 2011

30

Aproximación etiológica a la hipoglucemia en urgencias: revisión de un protocolo

Raquel Pérez Delgado, Ana Soria Marzo, Inmaculada García Jiménez, Carmen Campos Calleja, Juan Ramón García Mata, Miguel Lafuente Hidalgo, Alberto García Oguiza, Javier López Pisón, José Luis Peña Segu

Journal:

Revista de Calidad Asistencial

Year:

2008

File:

PDF, 62 KB

2008

31

Secure Failure Detection and Consensus in TrustedPals

Cortinas, Roberto, Freiling, Felix C., Ghajar-Azadanlou, Marjan, Lafuente, Alberto, Larrea, Mikel, Penso, Lucia D., Soraluze, Iratxe

Journal:

IEEE Transactions on Dependable and Secure Computing

Year:

2012

Language:

english

File:

PDF, 1.23 MB

english, 2012

32

Perioperative Reactions: Are They So Infrequent?

Urbain, Claude M., Lafuente, Alberto, Javaloyes, Gracia, Cabrera-Freitag, Paula, De La Borbolla Moran, Juan, Jose Goikoetxea, M., Moncada, Rafael, Sanz, Maria L., Ferrer, Marta M., Gastaminza, Gabriel

Journal:

Journal of Allergy and Clinical Immunology

Year:

2014

Language:

english

File:

PDF, 39 KB

english, 2014

33

Constraint design rewriting

Bruni, Roberto, Lluch Lafuente, Alberto, Montanari, Ugo

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 431 KB

english, 2015

34

Doble orificio valvular mitral: insuficiencia severa secundaria a rotura de cuerdas

Fernando Iglesias, Luis, de Tomás Labat, Elena, Valdesuso Aguilar, Raúl, Albertos Salvador, José, Lafuente Gormaz, Carlos, Beltrán Beltrán, Silvestre

Journal:

Revista Española de Cardiología

Year:

1999

File:

PDF, 149 KB

1999

35

Salmonella paratyphi B and Salmonella litchfield outbreaks associated with pet turtle exposure in Spain

Lafuente, Sarah, Bellido, Juan B., Moraga, Fernando A., Herrera, Silvia, Yagüe, Alberto, Montalvo, Tomás, de Simó, Mercè, Simón, Pere, Caylà, Juan A.

Journal:

Enfermedades Infecciosas y Microbiología Clínica

Year:

2013

File:

PDF, 355 KB

2013

36

[IEEE 2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing (PRDC) - Vancouver, BC, Canada (2013.12.2-2013.12.4)] 2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing - Fault-Tolerant Leader Election in Mobile Dynamic Distributed Systems

Gomez-Calzado, Carlos, Lafuente, Alberto, Larrea, Mikel, Raynal, Michel

Year:

2013

Language:

english

File:

PDF, 977 KB

english, 2013

37

[IEEE 2008 Second International Conference on Pervasive Computing Technologies for Healthcare (PervasiveHealth) - Tampere, Finland (2008.01.30-2008.02.1)] 2008 Second International Conference on Pervasive Computing Technologies for Healthcare - Smart Environment Application Architecture

Salvador, Zigor, Larrea, Mikel, Lafuente, Alberto

Year:

2008

Language:

english

File:

PDF, 245 KB

english, 2008

38

Simulation in Spinal Diseases

Aso Escario, José, Martínez Quiñones, José Vicente, Aso Vizán, Alberto, Arregui Calvo, Ricardo, Bernal Lafuente, Marta, Alcázar Crevillén, Andrés

Journal:

Reumatología Clínica

Year:

2014

File:

PDF, 1.98 MB

2014

39

[IEEE 15th EUROMICRO International Conference on Parallel, Distributed and Network-Based Processing (PDP'07) - Napoli, Italy (2007.02.7-2007.02.9)] 15th EUROMICRO International Conference on Parallel, Distributed and Network-Based Processing (PDP'07) - An evaluation of ring-based algorithms for the Eventually Perfect failure detector class

Wieland, Joachim, Larrea, Mikel, Lafuente, Alberto

Year:

2007

Language:

english

File:

PDF, 174 KB

english, 2007

40

[IEEE 16th Euromicro Conference on Parallel, Distributed and Network-Based Processing (PDP 2008) - Toulouse, France (2008.02.13-2008.02.15)] 16th Euromicro Conference on Parallel, Distributed and Network-Based Processing (PDP 2008) - An Evaluation of Communication-Optimal P Algorithms

Larrea, Mikel, Soraluze, Iratxe, Cortinas, Roberto, Lafuente, Alberto

Year:

2008

Language:

english

File:

PDF, 252 KB

english, 2008

41

[Lecture Notes in Computer Science] Trustworthy Global Computing Volume 8358 ||

Abadi, Martín, Lluch Lafuente, Alberto

Year:

2014

Language:

english

File:

PDF, 7.52 MB

english, 2014

42

Planar-fingerprint transition in a thermoreversible liquid crystalline gel

de Lózar, Alberto, Schöpf, Wolfgang, Rehberg, Ingo, Lafuente, Oscar, Lattermann, Günter

Journal:

Physical Review E

Year:

2005

Language:

english

File:

PDF, 160 KB

english, 2005

43

Communication-optimal eventually perfect failure detection in partially synchronous systems

Lafuente, Alberto, Larrea, Mikel, Soraluze, Iratxe, Cortiñas, Roberto

Journal:

Journal of Computer and System Sciences

Year:

2015

Language:

english

File:

PDF, 570 KB

english, 2015

44

[Lecture Notes in Computer Science] Trustworthy Global Computing Volume 8358 || Specification of Asynchronous Component Systems with Modal I/O-Petri Nets

Abadi, Martín, Lluch Lafuente, Alberto

Year:

2014

Language:

english

File:

PDF, 332 KB

english, 2014

45

[IEEE 2012 IEEE 11th International Symposium on Network Computing and Applications (NCA) - Cambridge, MA, USA (2012.08.23-2012.08.25)] 2012 IEEE 11th International Symposium on Network Computing and Applications - Phoenix: A Protocol for Seamless Client Mobility in Publish/Subscribe

Salvador, Zigor, Larrea, Mikel, Lafuente, Alberto

Year:

2012

Language:

english

File:

PDF, 553 KB

english, 2012

46

Preface

Lluch Lafuente, Alberto, Tuosto, Emilio

Journal:

Service Oriented Computing and Applications

Year:

2015

Language:

english

File:

PDF, 305 KB

english, 2015

47

Brain Delivery of Homovanillic Acid to Cerebrospinal Fluid During Human Aging

Martí, María Burgal, Cano, Alberto Hernández, Villareal, Eva María Lafuente, Martínez, Santiago García, Bernet, Iván Martínez

Journal:

Archives of Neurology

Year:

2005

Language:

english

File:

PDF, 51 KB

english, 2005

48

A Web-based distributed architecture for multi-device adaptation in media applications

Zorrilla, Mikel, Borch, Njål, Daoust, François, Erk, Alexander, Flórez, Julián, Lafuente, Alberto

Journal:

Personal and Ubiquitous Computing

Year:

2015

Language:

english

File:

PDF, 1.32 MB

english, 2015

49

Preface for the special issue of Interaction and Concurrency Experience 2013

Carbone, Marco, Lanese, Ivan, Lluch Lafuente, Alberto, Sokolova, Ana

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 116 KB

english, 2015

50

[ACM Press the twenty-seventh ACM symposium - Toronto, Canada (2008.08.18-2008.08.21)] Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing - PODC '08 - Optimal failure detection with low sporadic overhead and communication locality

Lafuente, Alberto, Larrea, Mikel, Soraluze, Iratxe, Cortiñas, Roberto

Year:

2008

Language:

english

File:

PDF, 219 KB

english, 2008